$\forall$$w$:World, $e$:E. $\neg$first($e$) $\Rightarrow$ time(pred($e$))$<$time($e$)